Forward chaining - PDFSEARCH.IO - Document Search Engine

Forward chaining
Results: 22

#	Item
11	Building Expert Systems in Prolog Add to Reading List Source URL: cdn.preterhuman.net Language: English - Date: 2012-10-01 15:31:26 Reasoning Decision theory Artificial intelligence Logic in computer science Computing Prolog Inference Production system Forward chaining Expert systems Science Logic
12	TALplanner: A Temporal Logic Based Planner Patrick Doherty and Jonas Kvarnstr¨om Abstract Talplanner is a forward-chaining planner which utilizes domain-dependent knowledge to control search in the state Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:12:31 Planner Mathematical optimization Temporal logic Software engineering Computing Artificial intelligence Automated planning and scheduling Logic programming
13	TALplanner: An Empirical Investigation of a Temporal Logic-based Forward Chaining Planner Patrick Doherty Dept of Computer and Information Science Link¨oping University SE[removed]Link¨oping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:13:29 Model theory Linear temporal logic Temporal logic Logical syntax Entailment First-order logic Limit Modal logic Action description language Logic Philosophical logic Propositional calculus
14	Extending TALplanner with Concurrency and Resources Jonas Kvarnstr¨om and Patrick Doherty and Patrik Haslum1 Abstract. We present TALplanner, a forward-chaining planner based on the use of domain-dependent search contro Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:13:20 Partial-order planning Hierarchical task network STRIPS Algorithm Planner Linear programming Cyc Graphplan Reactive planning Automated planning and scheduling Artificial intelligence Planning
15	Planning for Loosely Coupled Agents using Partial Order Forward-Chaining Jonas Kvarnstr¨om Department of Computer and Information Science Link¨oping University, SE[removed]Link¨oping, Sweden ([removed]) Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-25 07:58:55 Partial-order planning Planning Domain Definition Language Planning Precondition Action Mind Action description language Automated planning and scheduling Artificial intelligence Physics
16	Planning for Loosely Coupled Agents using Partial Order Forward-Chaining Add to Reading List Source URL: www.ep.liu.se Language: English - Date: 2010-05-19 12:02:39 Science Partial-order planning Action selection Planning Planner Artificial intelligence Automated planning and scheduling Mind
17	Planning for Loosely Coupled Agents using Partial Order Forward-Chaining Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:26:43 Science Partial-order planning Action selection Planning Planner Artificial intelligence Automated planning and scheduling Mind
18	Annals of Mathematics and Articial Intelligence[removed]) ?{? 1 TALplanner: A Temporal Logic Based Forward Chaining Planner Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:12:58 Non-classical logic Linear temporal logic Temporal logic Modal logic 8T METAR Action Physics Logic Philosophical logic
19	A COMMENTARY ON THE POSTGRES RULES SYSTEM Michael Stonebraker, Marti Hearst, and Spyros Potamianos EECS Dept. University of California, Berkeley Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 1997-04-12 03:27:41 Data management Cross-platform software Relational database management systems Database management systems Decision theory PostgreSQL Michael Stonebraker Ingres Forward chaining Software Expert systems Computing
20	Efficient Proving for Practical Distributed Access-Control Systems ∗ Lujo Bauer† Scott Garriss† Michael K. Reiter‡ Add to Reading List Source URL: www.ece.cmu.edu Language: English - Date: 2012-06-20 08:58:10 Mathematical logic Expert systems Logic in computer science Reasoning Identity management Logic programming Forward chaining Credential Backward chaining Mathematics Logic Knowledge

UPDATE